Prasminė klaida programoje, padaryta nenusižengiant sintaksės taisyklėms.

Dalis semantikos klaidų aptinkama kompiliavimo metu. Pavyzdžiui, operandų duomenų tipai ne tokie, kokių reikia operacijai, panaudotas neaprašytas kintamasis. Praktiškai visų programavimo kalbų sintaksė aprašoma bekontekste gramatika (dažniausiai Bekaus ir Nauro forma), kurioje minėti dalykai neapibrėžiami. Todėl tokios klaidos laikomos semantikos klaidomis. Jeigu programavimo kalboms aprašyti būtų taikoma griežtesnė gramatika (pvz., kontekstinė), tai tada tokie dalykai būtų aprašomi ir persikeltų į sintaksės sferą. Dėl to tokio tipo klaidų priskyrimas prie semantikos klaidų laikytinas sąlyginiu.

Visos klaidos, aptinkamos programos vykdymo metu (pvz., perpildymas, dalyba iš nulio), laikomos semantinėmis.

Plg. sintaksės klaida.